state elimination method dfa to regular expression